Nuprl Definition : es-rcvtype
0,22
postcript
pdf
rcvtype(
e
) == es-M(
es
)(lnk(
e
),tag(
e
))
latex
clarification:
es-rcvtype(
es
;
e
) == es-M(
es
)(es-lnk(
es
;
e
),es-tag(
es
;
e
))
latex
Definitions
f
(
a
)
,
es-M(
es
)
,
lnk(
e
)
,
tag(
e
)
FDL editor aliases
es-rcvtype
origin